121. Functional and constraint logic programming :
پدیدآورنده : Josep Silva (ed.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Constraint programming (Computer science), Congresses.,Functional programming (Computer science), Congresses.,Logic programming, Congresses.,Constraint programming (Computer science),Functional programming (Computer science),Logic programming.
رده :
QA76
.
62
122. Functional and constraint logic programming :
پدیدآورنده : Julio Mariño (edition)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic programming, Congresses,Mathematical Logic and Formal Languages
رده :
QA76
.
63
.
W45
2011
123. Functional and constraint logic programming
پدیدآورنده : / Santiago Escobar (ed.
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Functional programming (Computer science), Congresses,Constraint programming (Computer science), Congresses,Logic programming, Congresses
رده :
QA76
.
62
.
W45
2010
124. Functional and logic programming
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Functional programming (Computer science) ; Congresses. ; Logic programming ; Congresses. ;
125. Functional and logic programming
پدیدآورنده : Matthias Blume, Naoki Kobayashi, German Vidal. (eds.)
کتابخانه: Central Library and Information Center of Shahed University (Tehran)
موضوع : Functional programming (Computer science), Congresses,Logic programming, Congresses
رده :
QA
،
76
.
62
،.
F84
،
2010
126. Functional and logic programming
پدیدآورنده : / Matthias Blume, Naoki Kobayashi, German Vidal (eds.
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Functional programming (Computer science), Congresses,Logic programming, Congresses
رده :
QA76
.
62
.
F56
2010
127. Functional and logic programming
پدیدآورنده : Tom Schrijvers, Peter Thiemann (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Functional programming (Computer science), Congresses,Logic programming, Congresses
رده :
QA76
.
62
.
F85
2011eb
128. Functional and logic programming : 4th Fuji International Symposium, FLOPS'99, Tsukuba, Japan, November 11-13, 1999 : proceedings
پدیدآورنده : Aart Middeldorp, Taisuke Sato )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Functional programming )Computer science(,Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
1722
129. Functional and logic programming : 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002 : proceedings
پدیدآورنده : Zhenjiang Hu, Mario Rodriguez-Artalejo )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Functional programming )Computer science(,Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
2441
130. Functional and logic programming : 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001 : proceedings
پدیدآورنده : Herbert Kuchen, Kazunori Ueda )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Functional programming )Computer science(,Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
2024
131. Functional and logic programming : 7th international symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004 : proceedings
پدیدآورنده : Yukiyoshi Kameyama, Peter J. Stuckey )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Functional programming )Computer science(,Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
2998
132. Functional and logic programming: 5th international symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001: proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Functional programming )Computer science(,Congresses ، Logic programming
رده :
QA
76
.
62
.
F84
2001
133. Fuzzy systems design: social and engineering applications
پدیدآورنده : Leonid Reznik, Vladimir Dimitrov, Janusz Kacprzyk )eds.(
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، System design,، Fuzzy systems,، Logic programming
رده :
QA
76
.
9
.
S88
F89
1998
134. Generalized quantifiers and computation
پدیدآورنده : Jouko Väänänen (ed.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer logic, Congresses.,Computer science-- Mathematics, Congresses.,Programming languages (Electronic computers), Congresses.
135. Generalized quantifiers and computation : 9th European Summer School in Logic, Language, and Information, ESSLLI'97 Workshop : Aix-en-Provence, France, August 11-12, 1997 : revised lectures
پدیدآورنده : Jouko Vaananen )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Computer science -- Mathematics,، Computer logic,، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
1754
136. Graph-Based Proof Procedures for Horn Clauses
پدیدآورنده : \ Stan Raatz
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Logic programming,Horn clauses,برنامه‌نویسی منطقی
رده :
E-Book
,
137. Handbook of logic in artificial intelligence and logic programming
پدیدآورنده : edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Logic programming,، Artificial intelligence,، Logic, Symbolic and mathematical
رده :
QA
76
.
63
.
H36
1993
138. Handbook of logic in artificial intelligence and logic programming
پدیدآورنده : edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Logic programming , Artificial intelligence , Logic, Symbolic and mathematical
رده :
QA
76
.
63
.
H36
1993
139. Handbook of logic in artificial intelligence and logic programming
پدیدآورنده : edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Logic programming,، Artificial intelligence,، Logic, Symbolic and mathematical
رده :
QA
76
.
63
.
H36
1993
140. Handbook of logic in artificial intelligence and logic programming
پدیدآورنده : edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic programming,، Artificial intelligence,، Logic, Symbolic and mathematical
رده :
QA
76
.
63
.
H26
